Lookahead wideningGOPAN, Denis; REPS, Thomas.Lecture notes in computer science. 2006, pp 452-466, issn 0302-9743, isbn 3-540-37406-X, 1Vol, 15 p.Conference Paper

Widening Polyhedra with LandmarksSIMON, Axel; KING, Andy.Lecture notes in computer science. 2006, pp 166-182, issn 0302-9743, isbn 3-540-48937-1, 1Vol, 17 p.Conference Paper

Changement dans un système d'argumentation: suppression d'un argument = Change in an argumentation system: removing an argumentBISQUERT, Pierre; CAYROL, Claudette; DUPIN DE SAINT-CYR, Florence et al.Revue d'intelligence artificielle. 2012, Vol 26, Num 3, pp 225-253, issn 0992-499X, 29 p.Conference Paper

Addressing information Overload in the Scientific Community : INFORMATION OVERLOADBAEZ, Marcos; BIRUKOU, Aliaksandr; CASATI, Fabio et al.IEEE internet computing. 2010, Vol 14, Num 6, pp 31-38, issn 1089-7801, 8 p.Article

Narrowing Data-Structures with PointersECHAHED, Rachid; PELTIER, Nicolas.Lecture notes in computer science. 2006, pp 92-106, issn 0302-9743, isbn 3-540-38870-2, 1Vol, 15 p.Conference Paper

A proof of weak termination providing the right way to terminateFISSORE, Olivier; GNAEDIG, Isabelle; KIRCHNER, Hélène et al.Lecture notes in computer science. 2005, pp 356-371, issn 0302-9743, isbn 3-540-25304-1, 16 p.Conference Paper

Object categorization and the need for many-to-many matchingDICKINSON, Sven; SHOKOUFANDEH, Ali; KESELMAN, Yakov et al.Lecture notes in computer science. 2005, pp 501-510, issn 0302-9743, isbn 3-540-28703-5, 10 p.Conference Paper

A Review of Enterprise IT Integration MethodsCURL, Ana; FERTALJ, Kresimir.Information technology interfaces. 2009, pp 107-112, isbn 978-953-7138-15-8, 1Vol, 6 p.Conference Paper

The discourse self-adapting fuzzy controller for temperature control processing in disinfecting cupboardYU YONGQUAN; HUANG YING; ZENG BI et al.IEEE International Conference on Fuzzy Systems. 2004, isbn 0-7803-8353-2, 3Vol, vol 3, 1263-1267Conference Paper

Complete symbolic reachability analysis using back-and-forth narrowingTHATI, Prasanna; MESEGUER, José.Lecture notes in computer science. 2005, pp 379-394, issn 0302-9743, isbn 3-540-28620-9, 16 p.Conference Paper

Programming with fuzzy logic and mathematical functionsMORENO, Ginés; PASCUAL, Vicente.Lecture notes in computer science. 2006, pp 89-98, issn 0302-9743, isbn 3-540-32529-8, 1Vol, 10 p.Conference Paper

A Reconfigurable Computing Multiple Processor Framework with Hybrid Pipeline SchedulingCOOK, D; FERENS, K; MCLEOD, B et al.Engineering of reconfigurable systems & algorithms. International conferenceWorldComp'2011. 2011, pp 361-362, isbn 1-60132-177-5, 2 p.Conference Paper

A study of software reliability growth from the perspective of learning effectsCHIU, Kuei-Chen; HUANG, Yeu-Shiang; LEE, Tzai-Zang et al.Reliability engineering & systems safety. 2008, Vol 93, Num 10, pp 1410-1421, issn 0951-8320, 12 p.Article

iQA : An intelligent question answering systemZHIGUO GONG; MEI POU CHAN.Lecture notes in computer science. 2005, pp 332-341, issn 0302-9743, isbn 3-540-30850-4, 1Vol, 10 p.Conference Paper

Programmation d'un interpréteur abstrait certifié en logique constructive = Programming a certified abstract interpreter in constructive logicCACHERA, David; PICHARDIE, David.TSI. Technique et science informatiques. 2011, Vol 30, Num 4, pp 381-408, issn 0752-4072, 28 p.Article

Building bridges for Web query classificationDOU SHEN; SUN, Jian-Tao; QIANG YANG et al.International ACM SIGIR conference on research and development in information retrieval. 2006, pp 131-138, isbn 1-59593-369-7, 1Vol, 8 p.Conference Paper

A virtual machine for functional logic computationsANTOY, Sergio; HANUS, Michael; JIMENG LIU et al.Lecture notes in computer science. 2005, pp 108-125, issn 0302-9743, isbn 3-540-26094-3, 18 p.Conference Paper

Declarative constraint programming with definitional treesDEL VADO VIRSEDA, Rafael.Lecture notes in computer science. 2005, pp 184-199, issn 0302-9743, isbn 3-540-29051-6, 1Vol, 16 p.Conference Paper

Structured Coordination Spaces for Fault Tolerant Mobile AgentsILIASOV, Alexei; ROMANOVSKY, Alexander.Advanced topics in exception handling techniques. Lecture notes in computer science. 2006, pp 181-199, issn 0302-9743, isbn 3-540-37443-4, 1Vol, 19 p.Book Chapter

A policy iteration algorithm for computing fixed points in static analysis of programsCOSTAN, A; GAUBERT, S; GOUBAULT, E et al.Lecture notes in computer science. 2005, pp 462-475, issn 0302-9743, isbn 3-540-27231-3, 14 p.Conference Paper

Narrowing the gap between humans and agents in e-commerce : 3D electronic institutionsBOGDANOVYCH, Anton; BERGER, Helmut; SIMOFF, Simeon et al.Lecture notes in computer science. 2005, pp 128-137, issn 0302-9743, isbn 3-540-28467-2, 10 p.Conference Paper

Regional critical infrastructure assessment: Kansas CityMYERS, James D; SORRENTINO, Michael A.International journal of critical infrastructures. 2011, Vol 7, Num 1, pp 58-72, issn 1475-3219, 15 p.Conference Paper

CityVoyager : An outdoor recommendation system based on user location historyTAKEUCHI, Yuichiro; SUGIMOTO, Masanori.Lecture notes in computer science. 2006, pp 625-636, issn 0302-9743, isbn 3-540-38091-4, 1Vol, 12 p.Conference Paper

Query relaxation and answer integration for cross-media meta-searchesKUWABARA, Akihiro; SUMIYA, Kazutoshi; TANAKA, Katsumi et al.IEEE International Conference on multimedia. 2004, isbn 0-7803-8603-5, 3Vol, vol1, 309-312Conference Paper

Synergistic approaches to mobile intelligent transportation systems considering low penetration rateQUANG, T. M; MUHAMMAD ARIFF BAHARUDIN; KAMIOKA, Eiji et al.Pervasive and mobile computing (Print). 2014, Vol 10, pp 187-202, issn 1574-1192, 16 p., bArticle